C# parser for extracting cryptographic protocols structure from source code
نویسندگان
چکیده
منابع مشابه
Extracting and analyzing software code metrics from C# source code
In many software engineering areas, such as software maintenance and software measurement, source code analysis plays a key role. It represents a fundamental step to acquire data that set up the basis for different kind of analyses. Usually, a program is analyzed through static or dynamic analysis and the collected low level program information is abstracted into a higher level representation. ...
متن کاملExtracting Verification Models from Source Code
To formally verify a large software application, the standard method is to invest a considerable amount of time and expertise into the manual construction of an abstract model, which is then analyzed for its properties by either a mechanized or by a human prover. There are two main problems with this approach. The first problem is that this verification method can be no more reliable than the h...
متن کاملTowards Extracting Domain Knowledge from C Code
“Writing code is not the problem, understanding the code is the problem” this saying [7] summarizes how important is domain knowledge in software development and maintenance. Gathering this knowledge is an expensive process, which requires an investment of time, money, resources, and which is very demanding, because knowledge is scattered over various locations within source code. In this work,...
متن کاملExtracting Facts with Columbus from C++ Code
Fact extraction from software systems is the fundamental building block in the process of understanding the relationships among the system’s elements. It is evident that in real life situations manual fact extraction must be supported by software tools which are able to analyze the subject system and provide useful information about it in various forms. These forms are most useful if they adher...
متن کاملSemi-Automatically Extracting Features from Source Code of Android Applications
It is not always easy for an Android user to choose the most suitable application for a particular task from the great number of applications available. In this paper, we propose a semi-automatic approach to extract feature names from Android applications. The case study verifies that we can associate common sequences of Android API calls with feature names. key words: Android, feature extracti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2019
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2019-31(3)-15